void Attacker2(Environment *env, RealEnvironment REnv);